TSTP Solution File: MSC029^1 by Nitpick---2016